Fixup example Vagrantfile to work under OSX.