INSTALL.md fixes