Added GSSAPI socket options