Re: /dev/random for Linux