* Clean up the output of all timings to stderr.