specify a seed for gen_tmp_file() to find the resulting files easier
specify a seed for gen_tmp_file() to find the resulting files easier

ctuning/ck-env,ctuning/ck-env,ctuning/ck-env,ctuning/ck-env,ctuning/ck-env,ctuning/ck-env,ctuning/ck-env,ctuning/ck-env