--- configure.ORG	2019-08-07 07:23:04 +0000
+++ configure	2019-08-07 07:23:53 +0000
@@ -21916,7 +21916,7 @@
 fi
 
 
-: ${KRB5CONFIG:="$GSSAPI_ROOT/bin/krb5-config"}
+: ${KRB5CONFIG:="$GSSAPI_ROOT/bin/krb5-config_32"}
 
 save_CPPFLAGS="$CPPFLAGS"
 { $as_echo "$as_me:${as_lineno-$LINENO}: checking if GSS-API support is requested" >&5