[sim] yet another fix stdint.h __STDC_LIMIT_MACROS problem