On second thoughts, when converting a time to a GMT timestring, hardwire …
the timezone instead of relying on strftime(%Z).