pass file encoding to HLint