Replace Python 3.1 with Python 3.3