Use the process ID when we init the random seed, closes #227.