add explicit encoding of source code