use UTF-8 as default encoding