fixed ip4.c to use <stdint.h> types