--- pub/libvex_inner.h.orig	2023-02-25 09:25:47 UTC
+++ pub/libvex_inner.h
@@ -37,7 +37,7 @@
 // For more details, see README_DEVELOPPERS.
 //--------------------------------------------------------------------
 
-#include "config.h" 
+//#include "config.h" 
 
 // The code of the inner Valgrind (core or tool code) contains client
 // requests (e.g. from helgrind.h, memcheck.h, ...) to help the