Use UTF-8 in setup.py