diff --git a/src/storm-dft-cli/storm-dyftee.cpp b/src/storm-dft-cli/storm-dyftee.cpp
index c0b0b58b2..3056cbdf1 100644
--- a/src/storm-dft-cli/storm-dyftee.cpp
+++ b/src/storm-dft-cli/storm-dyftee.cpp
@@ -3,8 +3,6 @@
 #include "storm/utility/storm.h"
 #include "storm/cli/cli.h"
 #include "storm/exceptions/BaseException.h"
-#include "storm/utility/macros.h"
-#include "storm/transformations/dft/DftToGspnTransformator.h"
 
 
 #include "storm/settings/modules/GeneralSettings.h"
@@ -18,7 +16,8 @@
 #include "storm-dft/parser/DFTGalileoParser.h"
 #include "storm-dft/modelchecker/dft/DFTModelChecker.h"
 #include "storm-dft/modelchecker/dft/DFTASFChecker.h"
-#include "storm-dft/transformations/dft/DftToGspnTransformator.h"
+#include "storm-dft/transformations/DftToGspnTransformator.h"
+
 
 #include "storm-dft/settings/modules/DFTSettings.h"
 
diff --git a/src/storm-dft/CMakeLists.txt b/src/storm-dft/CMakeLists.txt
index df0c067e0..10d9b8508 100644
--- a/src/storm-dft/CMakeLists.txt
+++ b/src/storm-dft/CMakeLists.txt
@@ -10,4 +10,4 @@ file(GLOB_RECURSE STORM_DFT_HEADERS ${PROJECT_SOURCE_DIR}/src/storm-dft/*/*.h)
 
 # Create storm-pgcl.
 add_library(storm-dft SHARED ${STORM_DFT_SOURCES} ${STORM_DFT_HEADERS})
-target_link_libraries(storm-dft storm ${STORM_DFT_LINK_LIBRARIES})
+target_link_libraries(storm-dft storm storm-gspn ${STORM_DFT_LINK_LIBRARIES})
diff --git a/src/storm/transformations/dft/DftToGspnTransformator.cpp b/src/storm-dft/transformations/DftToGspnTransformator.cpp
similarity index 100%
rename from src/storm/transformations/dft/DftToGspnTransformator.cpp
rename to src/storm-dft/transformations/DftToGspnTransformator.cpp
diff --git a/src/storm/transformations/dft/DftToGspnTransformator.h b/src/storm-dft/transformations/DftToGspnTransformator.h
similarity index 97%
rename from src/storm/transformations/dft/DftToGspnTransformator.h
rename to src/storm-dft/transformations/DftToGspnTransformator.h
index 1e0d3eb69..4d827e44b 100644
--- a/src/storm/transformations/dft/DftToGspnTransformator.h
+++ b/src/storm-dft/transformations/DftToGspnTransformator.h
@@ -1,8 +1,8 @@
 #pragma once
 
-#include "storm/storage/dft/DFT.h"
-#include "storm/storage/gspn/GSPN.h"
-#include "storm/storage/gspn/GspnBuilder.h"
+#include "storm-dft/storage/dft/DFT.h"
+#include "storm-gspn/storage/gspn/GSPN.h"
+#include "storm-gspn/storage/gspn/GspnBuilder.h"
 
 namespace storm {
     namespace transformations {