sS ffmpeg_mixVideoAndAudio_copy_mp4_mp3(File videoIn) {
  ret ffmpeg_mixVideoAndAudio_copy(videoIn,
    replaceExtension(videoIn, ".mp3"),
    appendBaseFileName(videoIn, "-new-audio"));
}