Unfortunately the xavs.h API header is not self-sufficient and relies
on manual stdint.h inclusion by its users.