minor adjustment for FlexLexer.h