Update basic_debian.sh