Typo in INSTALL files
(cherry picked from commit 147002f)