Fix printf of seconds for systems where time_t is 64 bits.

(cherry picked from commit 430fe32cc6e7f1138516a33837154b3e0126946b)
Apply a casting sledgehammer.

Submitted by:	dhw

(cherry picked from commit 82720cf8ad0ede0f6edf87bf5f729545acb5f198)