SbVec4f(3) on Linux

The text 0fb2b8b5063c, as Debian 3.1 (Sarge) shipped it.

SbVec4f(3) on Linux now