Use c++11 random number generators.

In our case it doesn't matter that much, but why not?