Simple script for converting AVI files to MP4