Correct the filename in setup.py