--- configure
+++ configure
@@ -18909,6 +18909,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"
@@ -18930,6 +18931,7 @@
 fi
 
 done
+fi
 
 
 for ac_header in errno.h