specify UTF-8 encoding of source file