double_blas_level1(3) on Linux

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

double_blas_level1(3) on Linux now