1 files changed, 4 insertions, 1 deletions
diff --git a/src/random.h b/src/random.h
index c7fd599..a18f5b6 100644
--- a/src/random.h
+++ b/src/random.h
@@ -52,7 +52,10 @@ public:
 	T& choose(std::vector<T>& vec);
 
 private:
-	std::default_random_engine generator;
+	// The std::default_random_engine of the gcc libstdc++ library is
+	// minstd_rand0, so make sure we use that all platforms regardless of which
+	// stdlib we link with.
+	std::minstd_rand0 generator;
 };
 
 template <typename T>