Update INSTALL.md

to fix typo caused by a github bug