Still more krb5 issues (when krb5 was found, it was not showing yes