Dev Tomcat now runs on linux