Make configure work also with krb5 installations where the krb5-config command