sorbdb2.f(3) on Linux

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

sorbdb2.f(3) on Linux now