Use c++11 mt19937_64 as random number generator.