Upstream refuses patch. https://github.com/krb5/krb5/pull/607/commits/37fe03d72446a06b9c5e3ddd59a2b5971752cac3
*** This bug has been marked as a duplicate of bug 610854 ***