libkrb5: Fix build with MIT Kerberos.