GSSAPI extensions for OpenSSH