Use utf-8 encoding for the pythonrc buffer.