Removed separate krb4 source tree.