When printing time_t values, cast to 64bit signed int