Switch to puppetlabs vagrant boxes
The boxes provided by mitchellh for vagrant are inconsistent in some
minor but irritating ways between the virtualbox and vmware versions
. These boxes are hopefully consistent.