Use sfmt19937 as an alternative to std::mt19937