Vagrant version update due to #802