globus_gsi_proxy_handle(3) on Linux

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

globus_gsi_proxy_handle(3) on Linux now