extern int batch_silent;
extern int batch_flag;
+/* From mingw-hdep.c, used by main.c. */
+
+/* Return argv[0] in absolute form, if possible, or ARGV0 if not. The
+ return value is in malloc'ed storage. */
+extern char *windows_get_absolute_argv0 (const char *argv0);
+
#endif