Fix box names in vagrant ssh command