Merge pull request #144 from hunner/ppa_proxy