Hi,

unused, remove from this increasingly obsolete file. Tested x86_64-linux.

Paolo.

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