oh.
thats annoying.

i guess it's somewhat understandable. But in that case, would you
please fix the autoconf to actually bomb out, rather than to do its
default thing and just silently undefine HAS_STDINT_H in autoconf.h

?

I dont know the "nice" autoconf way of doing that.
However, an alternative way of achieving a similar result, could be
patching include/k5-platform.h to have,

#ifndef HAS_STDINT_H
#error stdint.h is now required by kerberos
#endif