modifying Vagrantfile