In VLC, you should have a "Media Information" menu somewhere. See what it says.

AVI files can be encoded, and therefore require an additional codec installed on the computer to play.