release 3.1.2: manage termination error in Python 3.3