Updating example Vagrantfile