Add cast for 32 bit time_t.