I am not an expert and can be easily mistaken but isn't AVI just a container for the actual audio/video stream in pretty much any format? Which means that some AVI files may play fine while others won't, depending on the codecs installed. Just like on a Windows machine, in fact.