Различное форматирование времени Python в Windows

Я, вероятно, упускаю очевидную разницу в платформах, которую я должен учитывать, но я получаю это при попытке сделать формат времени (Python2.7)...

в Linux env :

>>> import time
>>> time.strftime("%a, %d-%b-%Y %T GMT", time.gmtime())
'Tue, 29-May-2012 21:42:04 GMT'

в Windows:

>>> import time
>>> time.strftime("%a, %d-%b-%Y %T GMT", time.gmtime())
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: Invalid format string

Кортежи, возвращаемые из time.gmtime(), кажутся одинаковыми, поэтому я не совсем уверен, что мне нужно изменить.