Delete make_random_seed_string.pl