Fix file name in 'setup.py'