...
A patched version of the client tools has been made available which fixes this problem.
We have a central configuration script (actually 2, one for each of unix sh and csh) which requires a 1-line change to point everything to the new driver.
Backing out the change is only a matter of restoring the original pointer.
I've tested both clients on both 32-bit and 64-bit linux machines and the results are consistent.