Add 3 more bytes to a buffer to cover constants in string and null byte on top of 10 possible digits for an int.

Closes bug #1501223.
diff --git a/Python/sysmodule.c b/Python/sysmodule.c
index 37d4b38..9de46a9 100644
--- a/Python/sysmodule.c
+++ b/Python/sysmodule.c
@@ -1031,7 +1031,7 @@
 	PyObject *sysin, *sysout, *syserr;
 	char *s;
 #ifdef MS_WINDOWS
-	char buf[10];
+	char buf[13];
 #endif
 
 	m = Py_InitModule3("sys", sys_methods, sys_doc);