diff --git a/src/counterexamples/SMTMinimalCommandSetGenerator.h b/src/counterexamples/SMTMinimalCommandSetGenerator.h
index f2b0ead6e..16cfe7f72 100644
--- a/src/counterexamples/SMTMinimalCommandSetGenerator.h
+++ b/src/counterexamples/SMTMinimalCommandSetGenerator.h
@@ -16,10 +16,10 @@
 // If we have Z3 available, we have to include the C++ header.
 #ifdef STORM_HAVE_Z3
 #include "z3++.h"
+#include "src/adapters/Z3ExpressionAdapter.h"
 #endif
 
 #include "src/adapters/ExplicitModelAdapter.h"
-#include "src/adapters/Z3ExpressionAdapter.h"
 #include "src/modelchecker/prctl/SparseMdpPrctlModelChecker.h"
 #include "src/solver/GmmxxNondeterministicLinearEquationSolver.h"
 
diff --git a/src/utility/IRUtility.h b/src/utility/IRUtility.h
index 63cf9519e..7ee230450 100644
--- a/src/utility/IRUtility.h
+++ b/src/utility/IRUtility.h
@@ -12,6 +12,7 @@
 
 #include "src/storage/LabeledValues.h"
 #include "src/ir/IR.h"
+#include "src/exceptions/InvalidArgumentException.h"
 
 #include "log4cplus/logger.h"
 #include "log4cplus/loggingmacros.h"