Try to use real random numbers for the nonce

This is best-effort.  On Windows, it's still slightly better than before.