--- ./configure.orig	2026-09-04 04:21:28.733542587 -0500
+++ ./configure	2026-09-04 04:34:50.268431934 -0500
@@ -26057,7 +26057,7 @@
 
 fi
 
-: ${KRB5CONFIG:="$GSSAPI_ROOT/bin/krb5-config"}
+: ${KRB5CONFIG:="$GSSAPI_ROOT/bin/krb5-config_32"}
 
 save_CPPFLAGS="$CPPFLAGS"
 { printf "%s\n" "$as_me:${as_lineno-$LINENO}: checking if GSS-API support is requested" >&5