INSTALL.md cleanup.