diff --git a/include/unicorn/platform.h b/include/unicorn/platform.h
index 4f53d4d4..1d5dc314 100644
--- a/include/unicorn/platform.h
+++ b/include/unicorn/platform.h
@@ -156,17 +156,8 @@ typedef _W64 unsigned int  uintptr_t;
 #if defined(_MSC_VER)
 #include <sys/types.h>
 #include <sys/timeb.h>
-#include <winsock2.h>
 #include <windows.h>
 
-static int gettimeofday(struct timeval* t, void* timezone)
-{
-    struct _timeb timebuffer;
-    _ftime( &timebuffer );
-    t->tv_sec = (long)timebuffer.time;
-    t->tv_usec = 1000*timebuffer.millitm;
-    return 0;
-}
 #else
 #include <sys/time.h>
 #endif