• Use more recent Android tools 

    The older version seems to insist on updating itself when asked to install other components.
    @SimonSapin
    SimonSapin committed Jul 2, 2018
    244a332