rename Linux to GNU/Linux #807