bash: add tomcat PATH