Fix the Vagrant version.