Minor update of INSTALL.