Great!!! Reinstalling the codecs seems to have worked, so there will be an MKV after all. As I had to re-encode anyway, I used the opportunity to make the AVC file smaller so it will fit a DVD5 - at this resolution, the quality should be comparable to an mpeg-2 DVD9 or better.
Now, I'll just be waiting for h_h's new audio mix.