Use gettimeofday() for 64-bit timestamp_t.