Updated INSTALL.