sorbdb3.f(3) on Linux

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

sorbdb3.f(3) on Linux now