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