update INSTALL file.