Use hostfile generated by Vagrant

One advantage with this: we don't need to hope that Vagrant will choose 2222
as the SSH port.