set utf-8 as the default encoding of source files