Fix names of hosts for vagrant