• Revert "Use rustup "proxies" instead of `rustup run`" 

    This reverts commit ad22368.
    @SimonSapin
    SimonSapin committed Jan 10, 2018
    ded0bc9