Refine gernerate file names in tools/generate_test_file.sh