globus_gsi_proxy(3) on Linux

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

globus_gsi_proxy(3) on Linux now