The docker build test failed when merging on master. I tried to reproduce locally, but it works for me. I think you already found the reason in e5843ea1, so I bumped it again in this MR hoping that the problem is solved. Sorry for causing work here, but that was very hard to find a priori.