Add portable init_random_seed() function, and change headers.