doubleSYcomputational(3) on Linux

The text 4f1eac8e12be, as Debian 10 (Buster) shipped it.

doubleSYcomputational(3) on Linux now