define encoding for source files