Remove thread_times; they're not used for anything.