modified Vagrantfile