Update doc/INSTALLATION.md