Tweaking new ports in Vagrantfile