Improved random seed with /dev/random, fixed non-null initvalue.