Fixing issue in Vagrantfile for tomcat