-#include <win32/compiler/select_compiler_features.h>
-
-
-#if defined(_XBT_BORLAND_COMPILER)
-# include <win32/compiler/borland.h>
-#elif defined(__GNUC__)
- /* data comes from autoconf when using gnuc (cross-compiling?) */
-# include "gras_config.h"
-#ifndef _XBT_WIN32
-typedef unsigned int uint32_t;
-#endif
-#elif defined(_XBT_VISUALC_COMPILER)
-# include <win32/compiler/visualc.h>
-# else
-# error "Unknown compiler - please report the problems to the main simgrid mailing list (http://gforge.inria.fr/mail/?group_id=12)"
-#endif
-
-typedef int socklen_t;
-#define tcp_read( s, buf, len ) recv( s, buf, len, 0 )
-#define tcp_write( s, buf, len ) send( s, buf, len, 0 )
-#define ioctl( s, c, a ) ioctlsocket( (s), (c), (a) )
-#define ioctl_t u_long
-#define AC_SOCKET_INVALID ((unsigned int) ~0)
-
-#ifdef SD_BOTH
-#define tcp_close(s) (shutdown( s, SD_BOTH ), closesocket(s))
+#if defined(__GNUC__) /* either MinGW or cross-compiling */
+ # include "internal_config.h"
+ #ifndef _XBT_WIN32
+ typedef unsigned int uint32_t;
+ #endif