SGIextensions(3cxx) on Linux

The text 0135db45bbc1, as Debian 11 (Bullseye) shipped it.

SGI

SGIextensions(3cxx) on Linux now