Patches to Debian's build utility