One more setup.py fix