Updating vagrantfile to use new port