switch to Python 3.2