work around: http://bugs.python.org/issue8098