Better INSTALL section.