fixing debian packaging for noinst binaries