Call flex with -P SmartTpl to avoid duplicates of yylex()