Clean up Vagrantfile