• Work around CI bustage

    SimonSapin committed May 19, 2017