--- src/DesignCompile/CompileDesign.cpp.orig	2022-09-09 21:31:51 UTC
+++ src/DesignCompile/CompileDesign.cpp
@@ -52,6 +52,7 @@
 #include <uhdm/vpi_visitor.h>
 
 #include <climits>
+#include <string>
 #include <thread>
 
 #ifdef USETBB