time_t is 64 bits on 64-bit architectures on Linux