Update INSTALL file.

Fixes #6116