lapack(3) on Linux

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

lapack(3) on Linux now