use UTF-8 encoding in python scripts