Use TIME_T_FMT for formatting tv_sec. Bug 1561