Fix time formatting on x32

On x32, time_t is long long, but long is only 32bits, so sprintf("%ld", time_t)
will error out. Fix by always casting to long long which is long enough on any
platform.