allow mixing in of http_proxy into Dockerfiles