dgetri(3) on Linux

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

dgetri(3) on Linux now