Fast formatting a timestamp for Date header