AVI could be any number of codecs, since it is just a container, and loading them in to applications relies on you having the right direct show codecs installed.
The software I'm using for video generation is called Debut. It has a number of different video compressors available. Don't know if that changes the codec.