set the source encoding