--- configure
+++ configure
@@ -11754,6 +11754,7 @@
 
 done
 
+if false; then
 for ac_header in execinfo.h
 do :
   ac_fn_c_check_header_mongrel "$LINENO" "execinfo.h" "ac_cv_header_execinfo_h" "$ac_includes_default"
@@ -11767,6 +11768,7 @@
 fi
 
 done
+fi
 
 
 # Checks for typedefs, structures, and compiler characteristics.