SbVec4ui32(3) on Linux

The text c2891d0d3709, as Debian 8 (Jessie) shipped it.

SbVec4ui32(3) on Linux now