convert time_t to string