Delete make_random_seed_maybe_too_complex.pl