Hi, 

just as an information. the build of krb5 fails with our current next branch. 

An update of krb5 to 1.14.4 seems to solve the issue.  I will send a patch later this day or tomorrow when I am sure that no other problems with the new krb5 version appear.

Regards Jonatan