signal to kernel headers that time_t is 64-bit