Avoid new "out of disk space" issues in CI