# changes for the Debian packaging
debian.build.patch