Update INSTALL documentation
Not a real const