Use UTF8 when encoding source files.