minor build system improvements from Debian