Ludovic, I'll revert this checkin on the 4.2 branch. Without it we only apply and test the patches for specific builds and architectures. This then tends to be discovered on the build daemons, which is late. Adjusting the build dependencies is certainly ok. Matthias