diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9bb6e10da..72f1adad9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -361,9 +361,9 @@ endif(ENABLE_GUROBI)
 if (ENABLE_Z3)
     message (STATUS "StoRM - Linking with Z3")
 	include_directories("${Z3_ROOT}/include")
-    target_link_libraries(storm "z3")
-    target_link_libraries(storm-functional-tests "z3")
-    target_link_libraries(storm-performance-tests "z3")
+    target_link_libraries(storm "libz3")
+    target_link_libraries(storm-functional-tests "libz3")
+    target_link_libraries(storm-performance-tests "libz3")
 endif(ENABLE_Z3)
 
 #############################################################
diff --git a/src/ir/expressions/BinaryNumericalFunctionExpression.cpp b/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
index 452fb278a..a80e04ae4 100644
--- a/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
+++ b/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
@@ -6,6 +6,7 @@
  */
 
 #include <sstream>
+#include <algorithm>
 
 #include "BinaryNumericalFunctionExpression.h"
 
diff --git a/src/storage/VectorSet.h b/src/storage/VectorSet.h
index 1bbf30652..b225348cd 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 <set>
 #include <algorithm>
 #include <iostream>