--- configure.orig	2021-10-05 03:49:45 +0000
+++ configure	2021-10-05 03:50:24 +0000
@@ -24415,7 +24415,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