fix mkvtoolnix (might degrade on R3.4 though)