final INSTALL.md tweaks