Tudo bem, acho que vou responder a minha própria pergunta. Acontece que o formato de arquivo .mkv é muito popular no Linux e é bem suportado nativamente. Você notará que os aplicativos da câmera também usam esse formato. O Handbrake é uma ótima ferramenta para converter seu arquivo MP4 para .mkv. Boa sorte Blaine! :)