Use a portable solution for timestamp in RFC 2822 format

strftime doesn't work on Windows