1.3.2: fix setup.py for pip installations