make format_full_time work on 64 bit systems too: need to use time_t and no int