zgeqrt3(3) on Linux

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

zgeqrt3(3) on Linux now