Update install_debian_dev_tools.sh