Allow to configure tmp dir for tomcat