diff --git a/src/core/core.cpp b/src/core/core.cpp
index 93f5792..725f849 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -1,6 +1,6 @@
 #include "core.h"
 #include "storm/utility/initialize.h"
-#include "storm/utility/DirectEncodingExporter.h"
+#include "storm/io/DirectEncodingExporter.h"
 #include "storm/storage/ModelFormulasPair.h"
 #include "storm/storage/dd/DdType.h"
 #include "storm/storage/jani/Property.h"
diff --git a/src/gspn/gspn.cpp b/src/gspn/gspn.cpp
index 1dabb5d..89cb946 100644
--- a/src/gspn/gspn.cpp
+++ b/src/gspn/gspn.cpp
@@ -3,7 +3,7 @@
 #include "storm-gspn/storage/gspn/GSPN.h"
 #include "storm-gspn/storage/gspn/GspnBuilder.h"
 #include "storm/settings/SettingsManager.h"
-#include "storm/utility/file.h"
+#include "storm/io/file.h"
 
 using GSPN = storm::gspn::GSPN;
 using GSPNBuilder = storm::gspn::GspnBuilder;