Update installdeb7.sh