GLOBUS_PROXY_FILE_OUTPUT(3) on Linux

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

GLOBUS_PROXY_FILE_OUTPUT(3) on Linux now