diff --git a/Python/getopt.c b/Python/getopt.c
index e1ec698702c..c08f07fa03b 100644
--- a/Python/getopt.c
+++ b/Python/getopt.c
@@ -37,7 +37,10 @@ int     optind = 1;             /* index into argv array   */
 char *  optarg = NULL;          /* optional argument       */
 
 
-int getopt(int argc, char *argv[], const char optstring[])
+int getopt(argc,argv,optstring)
+int argc; 
+char *argv[]; 
+char optstring[];
 {
 	static   char *opt_ptr = "";
 	register char *ptr;