sorbdb3.f(3) on Linux

The text f4cc5e57b7aa, as Debian 9 (Stretch) shipped it.

sorbdb3.f(3) on Linux now