Linux docs (INSTALL) updated.