diff --git a/repos/base/src/lib/cxx/exception.cc b/repos/base/src/lib/cxx/exception.cc
index 5adec5c98..6ec4ad340 100644
--- a/repos/base/src/lib/cxx/exception.cc
+++ b/repos/base/src/lib/cxx/exception.cc
@@ -15,6 +15,7 @@
 /* libsupc++ includes */
 #include <cxxabi.h>
 #include <exception>
+#include <typeinfo>
 
 /* Genode includes */
 #include <base/log.h>
diff --git a/repos/base/src/lib/cxx/misc.cc b/repos/base/src/lib/cxx/misc.cc
index 5e2b8badd..ee60dc5d7 100644
--- a/repos/base/src/lib/cxx/misc.cc
+++ b/repos/base/src/lib/cxx/misc.cc
@@ -14,6 +14,7 @@
 /* libsupc++ includes */
 #include <cxxabi.h>
 #include <exception>
+#include <typeinfo>
 
 /* Genode includes */
 #include <base/env.h>