Updating INSTALL

Fixes #3292