use ffmpeg on Jon Severinsson's FFmpeg PPA