fix uint64 type to be really 64bit

different archichtures have different ideas about long, make sure 64bit
are always what we expect.