Although the file name has .mp4 after it, it really is an avi file that I've opened. Use the Export dropdown list to choose this setting, then click on Options. Go to "next" picture.