remove cruft from Vagrantfile