I'm not a dev, but I know .AVI(Audio Video Interleave) is a container file that can contain a variety of video and audio codecs, like MPEG, H.264. etc. So if you don't use the FFmpeg codec library, you'll have to find another source, or make your own codecs.