Modifies Vagrantfile