transcode videos to mp4 while playback with the --tomp4 option