Update make_random_seed.pl