dpotri(3) on Linux

The text 7df6f5ba448e, as Debian 10 (Buster) shipped it.

dpotri(3) on Linux now