Patched Vax11-simulator fixing matchc