Add <stdint.h> #include to try to fix CI.