[Python-Dev] File encodings