Update INSTALLATION.asciidoc