clean up Vagrantfile