dpotrf(3) on Linux

The text 17cb2ef4fd8c, as Debian 10 (Buster) shipped it.

dpotrf(3) on Linux now