configure requires stdint.h