Updating INSTALL #3292.

Fixes #3292