Adapt tomcat launch call for linux.