Oops, forgot to update setup.py with new filename