One other player you can try for such files is MPlayer - The Movie Player but I think you also need to download the extra support library. It is very similar to VLC in abilities but there are some things each can do the other either can't do or does a little better.