Edit File: auth_gssapi.h