Move away from C stdlib srand() and rand() to C++11 style <random>