diff --git a/src/storm/builder/BuilderType.cpp b/src/storm/builder/BuilderType.cpp
index 35512a220..d8c701d9b 100644
--- a/src/storm/builder/BuilderType.cpp
+++ b/src/storm/builder/BuilderType.cpp
@@ -55,6 +55,8 @@ namespace storm {
                 case BuilderType::Jit:
                     return storm::builder::jit::ExplicitJitJaniModelBuilder<ValueType>::canHandle(modelDescription.asJaniModel());
             }
+            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Unhandled builderType.");
+            return false;
         }
         
 
diff --git a/src/storm/utility/Engine.cpp b/src/storm/utility/Engine.cpp
index ac03324d1..f025f6b9c 100644
--- a/src/storm/utility/Engine.cpp
+++ b/src/storm/utility/Engine.cpp
@@ -1,5 +1,7 @@
 #include "storm/utility/Engine.h"
 
+#include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"
 #include "storm/modelchecker/prctl/SparseMdpPrctlModelChecker.h"
 #include "storm/modelchecker/csl/SparseCtmcCslModelChecker.h"