explicit UTF-8 source encoding