Update INSTALL.md

try to explain the changes from #7190 and #7197