add encoding annotations to the source files