Attempt at fixing build

It does build locally, but not on the OBS: will revert if not useful.
parent 8a6ed943
Pipeline #35423 failed with stage
in 8 minutes and 23 seconds