Close #560. Use /dev/urandom instead of /dev/random