INSTALLATION.md updated