Debian packaging for ppsspp portable PlayStation Portable emulator