Remove workaround for python issue7380.

The bug was fixed in python 3.1, which we no longer support.