+#if defined(__GNUC__)
+ /* data comes from autoconf when using gnuc (cross-compiling?) */
+ # include "internal_config.h"
+ #ifndef _XBT_WIN32
+ typedef unsigned int uint32_t;
+ #endif
+# else
+ # error "Unknown compiler - please report the problems to the main simgrid mailing list (http://gforge.inria.fr/mail/?group_id=12)"
+#endif