modify Vagrantfile