Install file says: Type flex -- version
There is a space between -- and version that shouldn't
be there :-(
5) Some platforms use flex. If your system uses flex then make sure
you have a good version. Type
- flex -- version
+ flex --version
If the flex command is not found then you probably do not need it.
If the version is 2.5.2 or 2.5.4 or greater then you are okay. If it