update to Vagrantfile