Make proper use of the C++11 random facilities