Edit File: krb5.h