make certain we dereference the pointer as a time_t, esp on x86_64
where it might otherwise not be dereferenced as such by default
1 file changed