dgghrd.f(3) on Linux

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

dgghrd.f(3) on Linux now