This reverts commit d2b63ed0. CI again. Leading theory is bad interaction between cmake and buildbot, some guesses at PR86737