[FOLD] Use std::random_device instead of platform-specific code