thanks a lot for the reply!

I gave that a try just now, unfortunately - no change. 32-bit client has exactly the same issue