Editing: krb5.config