01_default_prefix.patch
02_kill_debian_menu.patch
04_fix-other.patch
translate-Debian-directories.patch
80_file_monitor_delayed.patch
ubuntu_gcc_translations.patch
