clearing HTTP_PROXY settings in Ubuntu