SGIextensions(3cxx) on Linux

The text 0ac41b44c01a, as Debian 12 (Bookworm) shipped it.

SGI

SGIextensions(3cxx) on Linux now