Fix encoding in setup.py