Only in kerbnet-1.2/tests/dejagnu: krb-v4
