Minor glitch in Python 3 detection in setup.py