[Python-Dev] pth file encoding