The text ce4cdf3d67f2, as Debian 9 (Stretch) shipped it.
myproxy-server configuration file
myproxy-server.config(5) on Linux now
