Fix setup.py for Travis bot