SbVec3ui32(3) on Linux

The text 9e684b0db403, as Debian 6.0 (Squeeze) shipped it.

SbVec3ui32(3) on Linux now