make sure we read 8 bytes from /dev/random