dorbdb6.f(3) on Linux

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

dorbdb6.f(3) on Linux now