krb5 config file merging now automated