Removed reference to krb4.c.