changes in INSTALLATION.md