Use TIME_T_FMT for formatting tv_sec.  Bug 1561