updated the top-level INSTALL.md file