update INSTALL instructions