update to use Tomcat 7 'manager-script' role