sc_SCVectordouble(3) on Linux

The text 63ec8d09c9d8, as Debian 11 (Bullseye) shipped it.

sc_SCVectordouble(3) on Linux now