Updating vagrantfile