UbuntuSetup: keep proxy settings with sudo - keep apt-get happy