Debuild fails to build the last few days

Hi,
I’ve noticed debuild -uc -us failing to build over the last few days. Didn’t report as thought it was something I’ve done, but confirmed that 2.0.7 builds.

Raspbian stretch on ARM fails and just confirmed the same for Ubuntu 17.10 on more traditional hardware:

Build log

https://pastebin.com/qs4iM0Sz

Android build has probably the same issue

Is this the omission of stdint.h from one of the source files, as reported in another thread?

That does indeed fix it.

So I guess by the logic of the comment by it, that stdint needs to be included in some other places.

/*#include <stdint.h> - handled by sources including this header */

I opened a bug here https://bugzilla.libsdl.org/show_bug.cgi?id=3973