diff --git a/.circleci/run_docker_mingw.sh b/.circleci/run_docker_mingw.sh
index 7a894fea37..8a627e075d 100755
--- a/.circleci/run_docker_mingw.sh
+++ b/.circleci/run_docker_mingw.sh
@@ -23,7 +23,7 @@ CXXFLAGS="-Wall -Wextra -Wpedantic -Wshadow -Werror -D_GLIBCXX_ASSERTIONS" ${ARC
   -DPython_LIBRARY=${MINGW_PREFIX}/lib/libpython${PYMAJMIN}.dll.a \
   -DPython_EXECUTABLE=/usr/bin/${ARCH}-w64-mingw32-python${PYMAJMIN}-bin \
   -DCMAKE_UNITY_BUILD=ON -DCMAKE_UNITY_BUILD_BATCH_SIZE=32 \
-  -DUSE_HMAT=ON \
+  -DUSE_TBB=OFF \
   ${source_dir}
 make install
 ${ARCH}-w64-mingw32-strip --strip-unneeded ${PREFIX}/bin/*.dll ${PREFIX}/Lib/site-packages/openturns/*.pyd