prototypes correction for 64-bit hosts