Вы также можете использовать dmMediaConverter бесплатный графический интерфейс FFmpeg. И вы можете сделать это без перекодирования видеопотока (зависит от avi-кодека). Просто возьмите debs отсюда: http://dmsimpleapps.blogspot.ro/2014/04/dmmediaconverter.html