avi files come in different types/formats, so you may need the codec for that particular avi file type.

VLC is a good alternate player it has all the codecs already and plays all videos except for a few odd ones, which doesn't seem to be your case. It is in the above link.