[PATCH] configure: Don't check for gssapi-krb5 if krb5 is missing