updating vagrantfile