Fixing INSTALL.md