Small patches to build a Debian package

Small patch to fix the build of the Debian package.