Edit File: gssapi_krb5.h