switch all existing 32-bit archs to 64-bit time_t