dgeqrt(3) on Linux

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

dgeqrt(3) on Linux now