zptsvx(3) on Linux

The text ab3d16a66363, as Debian 11 (Bullseye) shipped it.

complex16

zptsvx(3) on Linux now