diff --git a/src/ir/Module.cpp b/src/ir/Module.cpp
index 321d022cb..166a6bbda 100644
--- a/src/ir/Module.cpp
+++ b/src/ir/Module.cpp
@@ -7,6 +7,7 @@
 
 #include <sstream>
 #include <iostream>
+#include "utility/OsDetection.h"
 
 #include "Module.h"
 #include "src/parser/prismparser/VariableState.h"
diff --git a/src/ir/Module.h b/src/ir/Module.h
index 3fd194b5c..1f7625a4e 100644
--- a/src/ir/Module.h
+++ b/src/ir/Module.h
@@ -8,7 +8,13 @@
 #ifndef STORM_IR_MODULE_H_
 #define STORM_IR_MODULE_H_
 
+#include "utility/OsDetection.h"
+
+#ifdef LINUX
+#include <boost/container/map.hpp>
+#endif
 #include <map>
+
 #include <set>
 #include <string>
 #include <vector>
@@ -199,7 +205,11 @@ namespace storm {
             std::set<std::string> actions;
             
             // A map of actions to the set of commands labeled with this action.
+#ifdef LINUX
+            boost::container::map<std::string, std::set<uint_fast64_t>> actionsToCommandIndexMap;
+#else
             std::map<std::string, std::set<uint_fast64_t>> actionsToCommandIndexMap;
+#endif
         };
         
     } // namespace ir