dgetrf2.f(3) on Linux

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

dgetrf2.f(3) on Linux now