Dummy setup.py to make setuptools happy