Fixed up Vagrantfile