build system: debian packaging improvements