Fix int32_t in config.h.in