Switch to the faster std::default_random_engine