setup.py: in version checking code use utf8 encoding