fix for 64bit time_t