fixup file extensions for ffmpeg