use /dev/random to seed