pkgsrc/emulators/atari800/patches