Fix pickling with Python 3.3.