Update debian7_install.sh