The text d944857fab65, as Debian 3.1 (Sarge) shipped it.
get configuration value
krb5_config_get_string_default(3) on Linux now