configure: only use krb5-config it is really available