Update setup.py to 1.3.1.2