Debian packaging
Fix up debian build.