Peter, Incidentally, preliminary timing experiments suggest that the 64 bit version of pdftex is not faster than the 32 bit version, and indeed might be very slightly slower. Dick Koch