fix size in dpkg-deb_debianization.sh