Hi,

tested x86_64-linux, committed.

Paolo.

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