Update examples Vagrantfile