Update INSTALL instructions