Updated section about replacing /etc/krb5.conf #1