Update the INSTALL instructions.