Debian build files: update to better match downstream's