Linux installs use Tomcat not Jetty (closes #591)