The `Vagrantfile`s now name their boxes