Changing vagrantfile