fix 32-/64-bit issue found thanks to HP-UX