Support different machines by name in vagrantfile