Hi,

should be straightforward material. Tested x86_64-linux, as usual.

Thanks, Paolo.

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