INSTALL file updated.