You’re running an older version of Docker, that doesn’t come with all the fancy stuff that’s in newer versions. @Falco, we probably need to detect that in ./launcher and either bail out with an error, or revert to an older method of diskspace cleanup. (I also find it kind of amusing that you need to delete data in order to run cleanup…)