> Does anybody have any notion what is going on here, please? I messed up in yesterday's commit. It should be fixed now, after a complete bootstrap and regtested of my patch on a clean tree. Sorry, FX