fix filename in tomcat recipe