krb5_free_kdc_rep(3) on Linux

The text 773286ed5948, as Debian 4.0 (Etch) shipped it.

krb5_free_kdc_rep(3) on Linux now