[checkmk-commits] Hacky workaround for spurious Jenkins failures.