Tweak name in setup.py