Re: faster /dev/random