Fix Linux installation doc