updated file INSTALL