Update debian7-32.sh