diff --git a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
index 008ea3606..791331e36 100644
--- a/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
+++ b/src/modelchecker/prctl/SparseMdpPrctlModelChecker.h
@@ -38,10 +38,14 @@ namespace storm {
                  *
                  * @param model The MDP to be checked.
                  */
-                explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model, std::shared_ptr<storm::solver::AbstractNondeterministicLinearEquationSolver<Type>> nondeterministicLinearEquationSolver = storm::utility::solver::getNondeterministicLinearEquationSolver<Type>()) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(nondeterministicLinearEquationSolver) {
+				explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(storm::utility::solver::getNondeterministicLinearEquationSolver<Type>()) {
                     // Intentionally left empty.
                 }
                 
+				explicit SparseMdpPrctlModelChecker(storm::models::Mdp<Type> const& model, std::shared_ptr<storm::solver::AbstractNondeterministicLinearEquationSolver<Type>> nondeterministicLinearEquationSolver) : AbstractModelChecker<Type>(model), minimumOperatorStack(), nondeterministicLinearEquationSolver(nondeterministicLinearEquationSolver) {
+					// Intentionally left empty.
+				}
+
                 /*!
                  * Copy constructs a SparseMdpPrctlModelChecker from the given model checker. In particular, this means that the newly
                  * constructed model checker will have the model of the given model checker as its associated model.
diff --git a/src/models/AtomicPropositionsLabeling.h b/src/models/AtomicPropositionsLabeling.h
index 2de73bd1d..51ece6e34 100644
--- a/src/models/AtomicPropositionsLabeling.h
+++ b/src/models/AtomicPropositionsLabeling.h
@@ -13,6 +13,7 @@
 #include <ostream>
 #include <stdexcept>
 #include <set>
+#include <map>
 
 #include "src/utility/Hash.h"
 
diff --git a/src/storage/VectorSet.h b/src/storage/VectorSet.h
index bb5de042e..09a4d333c 100644
--- a/src/storage/VectorSet.h
+++ b/src/storage/VectorSet.h
@@ -8,6 +8,7 @@
 #ifndef STORM_STORAGE_VECTORSET_H
 #define STORM_STORAGE_VECTORSET_H
 
+#include <cstdint>
 #include <set>
 #include <algorithm>
 #include <iostream>