Commit the missing header change.
Fix printf of seconds for systems where time_t is 64 bits.