#4537 setting 755 on tomcat/bin/*.sh