diff --git a/skeletons/asn_system.h b/skeletons/asn_system.h
index 193a97506382ef16dd59a062fa8478292cfffc27..39a1f9e60ea3f7be1c46ca50ea4fe77c1ce038c0 100644
--- a/skeletons/asn_system.h
+++ b/skeletons/asn_system.h
@@ -24,7 +24,6 @@
 #ifdef	WIN32
 
 #include <malloc.h>
-#include <stdint.h>
 #define	 snprintf	_snprintf
 #define	 vsnprintf	_vsnprintf
 
@@ -52,6 +51,8 @@ typedef	unsigned int	uint32_t;
 #define finite _finite
 #define copysign _copysign
 #define	ilogb	_logb
+#else	/* !_MSC_VER */
+#include <stdint.h>
 #endif	/* _MSC_VER */
 
 #else	/* !WIN32 */