use http_proxy everywhere, no more special proxy config for apt-get
need to configure aptitude proxy explicitly