Improved make_deb.sh.