added installation example for linux in INSTALL

A small modification of the INSTALL instructions for Linux that might help other users.