[checkmk-commits] Quick fix for CI problem.