Patch #512981: Update readline input stream on sys.stdin/out change.
diff --git a/Include/pythonrun.h b/Include/pythonrun.h
index 98965b5..7bc011b 100644
--- a/Include/pythonrun.h
+++ b/Include/pythonrun.h
@@ -113,9 +113,9 @@
PyAPI_FUNC(void) PyOS_FiniInterrupts(void);
/* Stuff with no proper home (yet) */
-PyAPI_FUNC(char *) PyOS_Readline(char *);
+PyAPI_FUNC(char *) PyOS_Readline(FILE *, FILE *, char *);
PyAPI_DATA(int) (*PyOS_InputHook)(void);
-PyAPI_DATA(char) *(*PyOS_ReadlineFunctionPointer)(char *);
+PyAPI_DATA(char) *(*PyOS_ReadlineFunctionPointer)(FILE *, FILE *, char *);
/* Stack size, in "pointers" (so we get extra safety margins
on 64-bit platforms). On a 32-bit platform, this translates