krb5_config_get_strings