tags 541258 pending thanks I have found the cause for the failure and the fix is in my repository. -- Ludovic Brenta.