Remove cruft from Vagrantfile