More portable printing of time_t

So it works on 32 bit systems (where it is a long-long int) and
64 bit systems (where it is a long int)