document krb5_config_get_string