Some detail in the build script will make the build fail if
$http_proxy is not set. I'm fixing that, but this might cause problem if
$http_proxy needs quoting for some reason. I don't know how to fix that using posix shell only, but I think that http_proxy is typycally a simple URI, so I hope this suffices our needs.