The text 233faeb595a3, as Debian 4.0 (Etch) shipped it.
get configuration value
krb5_config_vget_time_default(3) on Linux now
