update flex and GCC text in INSTALL.txt