Update INSTALL

Partly fix install instructions for Gnu/Linux