32 bit: Fix for 31 bit int overflow in time_t.