Rename debian7.sh to debian7-kvm.sh