more changes to INSTALL.md