utf8 codec for the sources