Rename `linux' to `gnu_linux'.