fixed a bug in install-debian.sh related to directory changing