-/* For -a, from getargs.c */
-extern char *spec_name_prefix;
-
-/* File name pfx specified with -b, or 0 if no -b. */
-extern char *spec_file_prefix;
+/* File name for the parser (i.e., the one above, or its default.) */
+extern char *parser_file_name;