changing gnu/linux to gnu/linux-libre