Cosmetics
Use ffmpeg for muxing if MP4Box is unavailable