makefile.patch
manpages.patch
dont-override-flags.patch
debian-changes-3.5c-1.1
