Я попробовал и mencoder и ffmpeg. С ffmpeg звук был прекрасен, но не было никакого изображения. С mencoder видео переместилось на половине скорости, таким образом, длина была удвоена. Как это может быть сделано правильно?
MediaCoder может транскодировать между MPEG_TS и AVI и будет работать на OS X.