krb5_prepend_config_files_default(3) on Linux

The text 33a04a871594, as Debian 5.0 (Lenny) shipped it.

create, modify and delete krb5_context structures

krb5_prepend_config_files_default(3) on Linux now