Hard-code time zone

Turns out that, in Python 2.6, time.strftime("%z") will try hard
to format the correct timezone, even in the face of using
time.gmtime() to use UTC.  Hardcoding the time zone value in the
format string to make this do the right thing.