diff --git a/pars/lexyy.c b/pars/lexyy.c
index a000e895dbe..b7bacde768a 100644
--- a/pars/lexyy.c
+++ b/pars/lexyy.c
@@ -278,12 +278,12 @@ static int yy_start = 0;	/* start state number */
 static int yy_did_buffer_switch_on_eof;
 
 static void yyrestart (FILE *input_file  );
-static void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
+__attribute__((unused)) static void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
 static YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
 static void yy_delete_buffer (YY_BUFFER_STATE b  );
 static void yy_flush_buffer (YY_BUFFER_STATE b  );
-static void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
-static void yypop_buffer_state (void );
+__attribute__((unused)) static void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
+__attribute__((unused)) static void yypop_buffer_state (void );
 
 static void yyensure_buffer_stack (void );
 static void yy_load_buffer_state (void );
@@ -291,9 +291,9 @@ static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );
 
 #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
 
-static YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
-static YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
-static YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );
+YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
+YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
+YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );
 
 static void *yyalloc (yy_size_t  );
 static void *yyrealloc (void *,yy_size_t  );
@@ -2334,7 +2334,7 @@ static int yy_get_next_buffer (void)
  * @param new_buffer The new input buffer.
  * 
  */
-    static void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
+    __attribute__((unused)) static void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
 {
     
 	/* TODO. We should be able to replace this entire function body
@@ -2483,7 +2483,7 @@ static void yy_load_buffer_state  (void)
  *  @param new_buffer The new state.
  *  
  */
-static void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
+__attribute__((unused)) static void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
 {
     	if (new_buffer == NULL)
 		return;
@@ -2513,7 +2513,7 @@ static void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
  *  The next element becomes the new top.
  *  
  */
-static void yypop_buffer_state (void)
+__attribute__((unused)) static void yypop_buffer_state (void)
 {
     	if (!YY_CURRENT_BUFFER)
 		return;
@@ -2603,7 +2603,7 @@ static void yy_fatal_error (yyconst char* msg )
 /** Get the current line number.
  * 
  */
-static int yyget_lineno  (void)
+__attribute__((unused)) static int yyget_lineno  (void)
 {
         
     return yylineno;
@@ -2612,7 +2612,7 @@ static int yyget_lineno  (void)
 /** Get the input stream.
  * 
  */
-static FILE *yyget_in  (void)
+__attribute__((unused)) static FILE *yyget_in  (void)
 {
         return yyin;
 }
@@ -2620,7 +2620,7 @@ static FILE *yyget_in  (void)
 /** Get the output stream.
  * 
  */
-static FILE *yyget_out  (void)
+__attribute__((unused)) static FILE *yyget_out  (void)
 {
         return yyout;
 }
@@ -2628,7 +2628,7 @@ static FILE *yyget_out  (void)
 /** Get the length of the current token.
  * 
  */
-static int yyget_leng  (void)
+__attribute__((unused)) static int yyget_leng  (void)
 {
         return yyleng;
 }
@@ -2637,7 +2637,7 @@ static int yyget_leng  (void)
  * 
  */
 
-static char *yyget_text  (void)
+__attribute__((unused)) static char *yyget_text  (void)
 {
         return yytext;
 }
@@ -2646,7 +2646,7 @@ static char *yyget_text  (void)
  * @param line_number
  * 
  */
-static void yyset_lineno (int  line_number )
+__attribute__((unused)) static void yyset_lineno (int  line_number )
 {
     
     yylineno = line_number;
@@ -2658,28 +2658,28 @@ static void yyset_lineno (int  line_number )
  * 
  * @see yy_switch_to_buffer
  */
-static void yyset_in (FILE *  in_str )
+__attribute__((unused)) static void yyset_in (FILE *  in_str )
 {
         yyin = in_str ;
 }
 
-static void yyset_out (FILE *  out_str )
+__attribute__((unused)) static void yyset_out (FILE *  out_str )
 {
         yyout = out_str ;
 }
 
-static int yyget_debug  (void)
+__attribute__((unused)) static int yyget_debug  (void)
 {
         return yy_flex_debug;
 }
 
-static void yyset_debug (int  bdebug )
+__attribute__((unused)) static void yyset_debug (int  bdebug )
 {
         yy_flex_debug = bdebug ;
 }
 
 /* yylex_destroy is for both reentrant and non-reentrant scanners. */
-static int yylex_destroy  (void)
+__attribute__((unused)) static int yylex_destroy  (void)
 {
     
     /* Pop the buffer stack, destroying each element. */
diff --git a/pars/make_flex.sh b/pars/make_flex.sh
index e504ee61df5..b83e063fef0 100755
--- a/pars/make_flex.sh
+++ b/pars/make_flex.sh
@@ -14,18 +14,20 @@ flex -o $TMPFILE pars0lex.l
 echo '#include "univ.i"' > $OUTFILE
 
 # flex assigns a pointer to an int in one place without a cast, resulting in
-# a warning on Win64.  Add the cast.  Also define some functions as static.
+# a warning on Win64.  Add the cast.  Also define some symbols as static.
 sed -e '
 s/'"$TMPFILE"'/'"$OUTFILE"'/;
 s/\(int offset = \)\((yy_c_buf_p) - (yytext_ptr)\);/\1(int)(\2);/;
-s/\(void \(yyrestart\|yy_\(switch_to\|delete\|flush\)_buffer\)\)/static \1/;
-s/\(void yypush_buffer_state\)/static \1/;
-s/\(void yypop_buffer_state\)/static \1/;
-s/\(YY_BUFFER_STATE yy_\(create_buffer\|scan_\(buffer\|string\|bytes\)\)\)/static \1/;
-s/\(\(int\|void\) yy[gs]et_\)/static \1/;
+s/\(void yy\(restart\|_\(delete\|flush\)_buffer\)\)/static \1/;
+s/\(void yy_switch_to_buffer\)/__attribute__((unused)) static \1/;
+s/\(void yy\(push\|pop\)_buffer_state\)/__attribute__((unused)) static \1/;
+s/\(YY_BUFFER_STATE yy_create_buffer\)/static \1/;
+s/\(\(int\|void\) yy[gs]et_\)/__attribute__((unused)) static \1/;
 s/\(void \*\?yy\(\(re\)\?alloc\|free\)\)/static \1/;
-s/\(extern \)\?\(int yy\(leng\|lex_destroy\|lineno\|_flex_debug\)\)/static \2/;
+s/\(extern \)\?\(int yy\(leng\|lineno\|_flex_debug\)\)/static \2/;
+s/\(int yylex_destroy\)/__attribute__((unused)) static \1/;
 s/\(extern \)\?\(int yylex \)/UNIV_INTERN \2/;
+s/^\(\(FILE\|char\) *\* *yyget\)/__attribute__((unused)) static \1/;
 s/^\(extern \)\?\(\(FILE\|char\) *\* *yy\)/static \2/;
 ' < $TMPFILE >> $OUTFILE