Use old C99-header for int32_t definitions