Use a more supported plugin. Fix example Vagrantfile.