fix in dpkg-deb_debianization.sh