updates to Vagrantfile