Replace another cstdint.h