dgetrf(3) on Linux

The text 685b88ac314c, as Debian 10 (Buster) shipped it.

dgetrf(3) on Linux now