enforced UTF-8 encoding for source code