More polishing INSTALL.md