Переформатирование видеофайлов из MP4 в AVI в Ubuntu 16.10, конвертер WinFF

Недавно столкнулся с необходимостью переформатирования 12 видеофайлов, залитых из Youtube на компьютер, в формат AVI, поскольку в том виде, в котором они были залиты на компьютер (MP4), они не воспроизводились…