Make the helper make_times_h output the code to stdout, so
we can redirect it into the file we want easily.