setup.py fails due to filename