Fixup the Vagrantfile