Update INSTALL-LINUX for needing > Flex 2.5.9