[checkmk-commits] [tribe29/checkmk] b5d6d7: Quick fix to make build work