[doc] Update INSTALL file once more.