krb5_set_default_realm(3) on Linux

The text 660d55f06b12, as Debian 5.0 (Lenny) shipped it.

default and host realm read and manipulation routines

krb5_set_default_realm(3) on Linux now