Improving INSTALL.md