INSTALL file updated