extra binary for tomcat 7