Tidy Vagrantfile