Add #include <stdint.h> to scan.cc