minor change to debian.sh and debiandev.sh