Add Krb configuration code