Use C++11 random functions