Replace custom Gaussian RNG with C++ TR1 RNG