Update the INSTALL instructions