Summary: packaging updates

Empty paths lead to unpleasant surpises later on

Use basename to find the pid file when stopping tomcat