Slightly improve random seed on Windows.

Use unix-getpid on Windows too.