Use /dev/urandom when lseed=0
(#544)