Da das ganze hier unter Linux erstellt wurde geh ich davon aus, dass der Video Converter für Linux gesucht wird.

Daher installier die ffmpeg und benutz es unter dem Terminal oder installier dir eine der GUIs dazu..
https://wiki.ubuntuusers.de/Videodateien_umwandeln
Besser als jede Windows Müll Software