Fix host name used for SSH-ing master