Fix inconsistent $proxy_host handling in apt and apt::ppa.