Default to avi in enc_all. Allow ffmpeg to determine output format from file extension