Use std random instead of boost::random