kill printf(3) format warning for time_t