@@ -3155,8 +3155,10 @@ void kill_work(void)
static
#ifdef WIN32
+#ifndef _WIN64
const
#endif
+#endif
char **initial_args;
static void clean_up(void);