SoInt32Element(3) on Linux

The text c4d381c814c0, as Debian 4.0 (Etch) shipped it.

SoInt32Element(3) on Linux now