Fix util.c compilation by including stdint.h.