Update debian7-32-vb-4.2_3.sh