diff --git a/.gitignore b/.gitignore
index ee2a4f77b..98a24b25d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -36,7 +36,7 @@ obj/
 CMakeFiles/
 CPackConfig.cmake
 # The build Dir
-*build*/
+/*build*/
 build//CMakeLists.txt
 /*.vcxproj
 /*.filters
diff --git a/CMakeLists.txt b/CMakeLists.txt
index b2fe1b814..6b67feefb 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,6 +1,13 @@
 cmake_minimum_required (VERSION 3.2)
+
 cmake_policy(VERSION 3.2)
 
+# When searching for packages, we would like to first search in prefixes specified by <PackageName>_ROOT.
+# However, this behavior is only supported since CMake 3.12.
+if(POLICY CMP0074)
+	cmake_policy(SET CMP0074 NEW)
+endif()
+
 # Set project name
 project (storm CXX C)
 
diff --git a/README.md b/README.md
index 6dcf702a0..c8d4dbb38 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,8 @@ Benchmarks
 Example input files for Storm can be obtained from  
 https://github.com/moves-rwth/storm-examples.
 
+Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Suite (QVBS)](http://qcomp.org/benchmarks).
+
 Further examples and benchmarks can be found in the following repositories:
 
 * **Prism files** (DTMC, MDP, CTMC):