K 10 svn:author V 5 guido K 8 svn:date V 27 1997-10-28T21:20:21.000000Z K 7 svn:log V 75 I wonder how I managed to get the krb.h include wrong. Anyway: correct it. END