edited top-level INSTALL.md