--- php-7.2.8.old/TSRM/TSRM.c
+++ php-7.2.8/TSRM/TSRM.c
@@ -131,6 +131,10 @@
 /* Startup TSRM (call once for the entire process) */
 TSRM_API int tsrm_startup(int expected_threads, int expected_resources, int debug_level, char *debug_filename)
 {/*{{{*/
+    {                           // Workaround for a bizarre problem
+        FILE *kludge = popen ("/bin/true", "r");
+        if (kludge != NULL) pclose (kludge);
+    }
 #if defined(GNUPTH)
 	pth_init();
 	pth_key_create(&tls_key, 0);
--- php-7.2.8.old/main/SAPI.c
+++ php-7.2.8/main/SAPI.c
@@ -21,6 +21,7 @@
 /* $Id$ */
 
 #include <ctype.h>
+#include <stdio.h>
 #include <sys/stat.h>
 
 #include "php.h"
@@ -86,6 +87,11 @@
 	_configthreadlocale(_ENABLE_PER_THREAD_LOCALE);
 # endif
 #else
+    {                           // Workaround for a bizarre problem
+        FILE *kludge = popen ("/bin/true", "r");
+        if (kludge != NULL) pclose (kludge);
+    }
+
 	sapi_globals_ctor(&sapi_globals);
 #endif
 
===== end of patch =====