Hi,

tested x86_64-linux, committed to mainline.

Paolo.

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