I bought a DVD player for my grandmother that can also read files from a USB key. I am looking for a program that can convert MP4 files to AVI so that they can be read by the player. Does anyone know a solution that works on the Mac? I've looked at VLC but I don't see an AVI option in the transcoding functionality.