pkgbinarymangler: binary-without-manpage usr/bin/dpkg-deb

