Update gnulinux.md