Update linux INSTALL docs.