Rename debian7novpn.sh to debian7.sh