auxlib.h uses uintXX_t types, which needs stdint.h Change-Id: Ifad291074c501f2f0268f2eb48399b8bec70d272