update example Vagrantfile.