Ignore top level Tomcat installation.