Делаю командой
ffmpeg -i input.avi -sameq -vcodec libx264 -acodec libmp3lame output.mpg
Но плеер "железный" его не читает. Узнал из видео, которое работает что нужны такие параметры:
Формат: avi
Кодек видео: DviX 4/5 или XviD MPEG4
Кодек аудио: Mpeg 1 or 2 Audio Layer 3
Очевидно, это ключ -vcodec, а где найти сами кодеки?