krb5_prepend_config_files_default(3) on Linux

The text 9460b7abce06, as Debian 4.0 (Etch) shipped it.

create, modify and delete krb5_context structures

krb5_prepend_config_files_default(3) on Linux now