Fixes a build issue on some platforms, due to missing stdint.h