Use HAVE_STDINT_H to prevent a recurrence of #175.