diff --git a/src/api/js/scripts/make-cc-wrapper.ts b/src/api/js/scripts/make-cc-wrapper.ts
index 2abbc15390..30ed77455f 100644
--- a/src/api/js/scripts/make-cc-wrapper.ts
+++ b/src/api/js/scripts/make-cc-wrapper.ts
@@ -304,6 +304,9 @@ extern "C" void async_${fn.name}(${paramList}) {
   return `// THIS FILE IS AUTOMATICALLY GENERATED BY ${path.basename(__filename)}
 // DO NOT EDIT IT BY HAND
 
+#include <stdexcept>
+#include <string>
+
 #include <emscripten.h>
 
 #include "../../z3.h"