Small update to the INSTALL.md

change in progress, this merge request can be applied after finishing the changes