fix up Vagrantfile