SoTextureOverrideElement(3) on Linux

The text 587e0871c4dd, as Debian 7 (Wheezy) shipped it.

The SoTextureOverrideElement makes it possible to override texture elements.