configure: check for some more krb5 functions