More INSTALL.md cleanup.