Edit File: gssapi_ext.h