setup.py: open file using utf8 codec