fix: wrong filename in setup.py