vagrant: use explicit ssh host and port