Small patches to build a Debian package

Small patched to fix the build of the Debian package.