force UTF-8 encoding for the sake of consistency around all the world