Vagrantfile modification