Another fix for ci-clang