zhesvxx(3) on Linux

The text e7e965d0fb5b, as Debian 8 (Jessie) shipped it.

zhesvxx(3) on Linux now