Use UTF-8 as the source file encoding.