Ported random engine to use C++11 random