unzipped tomcat