fixed a 64-bit issue with time_t printf hooks