globus_gsi_proxy_activation(3) on Linux

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

globus_gsi_proxy_activation(3) on Linux now