Enabling WITH_HTTP_PROXY per default