changes to Vagrantfile