Changes to vagrantfile