Platform dependent tomcat package naming.