Apparently SecureRandom is non-deterministic on Linux, but deterministic
on Windows.