added flexlexer.h