Updated INSTALL instructions.