Refining Linux compile instructions in INSTALL