Update publish/gen_rand_file.md