SbVec4s(3) on Linux

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

SbVec4s(3) on Linux now