Since r7265, a user could not launch a PuTTY session to a specific host by