adding updated Vagrantfile