Changing port for Vagrant overlaps with Tomcat