Fix up Vagrantfile