remove dosbox emulator #536