Make int32_t available when the configure script is not used