Rename tomcat7.pl to tomcat7