>>>>> "Andreas" == Andreas Tobler <toa@pop.agri.ch> writes: Andreas> We can remove the recently introduced fix from Michael since Andreas> fixinclude will do it the right way. Andreas> Is the below patch ok for main ? Ok, thanks. Tom