debian/01_debianize_xrdb.patch
progress-linux/0001-terminal-shortcut.patch
