Edit: codecs.py