modifications to Vagrantfile