MIPS emulator OS/2 port