type with url for fetching mkproxy-10-15-2012.tar.gz

 Hmmm... Could not find local file mkproxy-10-15-2012.tar.gz
Fetching file from http://198.128.245.140/dist/devel/devel/externals/bootstrap/mkproxy-10-15-2012.tar.gz -to-> mkproxy-10-15-2012.tar.gz
--2013-02-27 10:23:26--  http://198.128.245.140/dist/devel/devel/externals/bootstrap/mkproxy-10-15-2012.tar.gz
Connecting to 198.128.245.140:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2013-02-27 10:23:26 ERROR 404: Not Found.

 ERROR: Problem pulling down [mkproxy-10-15-2012.tar.gz] from esg distribution site
 ERROR: Could not download Globus Online install script

See the issue /devel/devel/ should just be /devel/