Have a crack at fixing the 32-bit problem.