changes to vagrantfile