K 10 svn:author V 5 markm K 8 svn:date V 27 2001-02-14T19:54:36.000000Z K 7 svn:log V 98 Fix a "make world"-breaking inconsistency for those folks making a world with both KRB4 and KRB5. END