MIT krb5-1.12 HACK patch: Add a HACK patch for building a patched kerberos library