Fixing the debian build system