dhsein.f(3) on Linux

The text 52c2f212f977, as Debian 7 (Wheezy) shipped it.

dhsein.f(3) on Linux now