tdb2: fix test printf for 64 bit.