More tweaks to INSTALL.md.