Rename deb7 to deb7.sh