> Tested x86_64-unknown-linux-gnu. OK for mainline? Many thanks Jonathan. Patch is Ok with me, please give the other people a chance to comment and then commit it, say in 1 day or two. Thanks again, Paolo