Hi,

tested x86/x86_64/ia64-linux, committed to mainline.

Paolo.

////////////////