Some of the Kerberos code had dissapeared. Reapply.