More INSTALL updates.