brought Vagrantfile up to date