1.3.1: fix setup.py for pip installations