Add cstdint.h