Rename debian-7.1.sh to debian.sh