avoid MSVC's nonstandard <random> bug
workaround MSVC linking problem