correct README: time_t is 64 bit