Well, looks like eac3to and MeGUI has failed, too. This is what an UHD HEVC file looks like when muxed to MKV. Only MKVToolNix appears to do it correctly. (Actually, maybe the problem lies with MKVToolNix in not handling separate/extracted files correctly...)