Update debian_setup.sh