If one supplies -T, timings are enabled but if you don't dump them before the process exits, you lose them. It would be nice if timings are dumped before exit.
Low priority.