Be specific about the source file encoding.