krb5_set_default_realm(3) on Linux

The text 5e26a6fe35c6, as Debian 3.1 (Sarge) shipped it.

default and host realm read and manipulation routines

krb5_set_default_realm(3) on Linux now