pkgbinarymangler: no-manual-page [usr/bin/dpkg-deb]
