Use the C++11 <random> library instead of mtrand.h