Use c++11 random utilities