sc_ReplSCVector(3) on Linux

The text 5e8f7e91a638, as Debian 6.0 (Squeeze) shipped it.

sc_ReplSCVector(3) on Linux now