Updated the INSTALL instructions.