01debian_defaultconfig.patch
02makefile_adjustments.patch
03manpage.patch
