Re: possible bug in rlm_krb5.c?