Update and rename debian.sh to debian7.sh