Fix the basic krb5 configuration