Reported by Tim Kosse: on Unix, read_random_seed() wasn't correctly checking