• Work around removal of remote files used by the build system

    SimonSapin committed Oct 3, 2018