correct randomness now from upstream, fixes #4