Use std::time_t and std::size_t

Minor changes. No impact.