SbVec3i32(3) on Linux

The text 1c1ba21e0539, as Debian 6.0 (Squeeze) shipped it.

SbVec3i32(3) on Linux now