Update debian7a.sh