Enhance encoding header of languages/*.py