diff --git a/src/App/Document.cpp b/src/App/Document.cpp
index fcdf62c7947f..b8ec2d9dc91a 100644
--- a/src/App/Document.cpp
+++ b/src/App/Document.cpp
@@ -56,6 +56,7 @@ recompute path. Also enables more complicated dependencies beyond trees.
 # include <sstream>
 # include <climits>
 # include <bitset>
+# include <random>
 #endif
 
 #include <boost/graph/adjacency_list.hpp>
diff --git a/src/App/PreCompiled.h b/src/App/PreCompiled.h
index 3729ed29d641..6cd3a881eb4d 100644
--- a/src/App/PreCompiled.h
+++ b/src/App/PreCompiled.h
@@ -68,6 +68,7 @@
 #include <queue>
 #include <bitset>
 #include <exception>
+#include <random>
 
 // Boost
 #include <boost/signals.hpp>