Desde hace algunos años uso FFmpeg sobre linux para convertir videos de un formato a otro, el cual es un potente motor de conversión con multitud de opciones para poder afinar nuestras conversiones y dejar los videos bien ajustados a lo que queremos.