01debian_defaultconfig.patch
02makefile_adjustments.patch
03manpage.patch
04compensate-for-missing-aligned-u64.patch
