Hi Jon, > Tested x86_64-unknown-linux-gnu, OK for trunk? Should this go on the > 4.4. branch too? > Yes, I don't see why this could not go in 4_4-branch too. Please wait another half day or so in order to make sure there are no objections from other people, then go ahead. Thanks! Paolo.