specify encoding for open() in setup.py