Debian packaging for virtualjaguar Atari Jaguar emulator