diff -r 2bcd716ca877 -r 13e40098fffc scripts/build/kernel/mingw32.sh
--- a/scripts/build/kernel/mingw32.sh	Sat Aug 14 23:14:27 2010 +0200
+++ b/scripts/build/kernel/mingw32.sh	Mon Apr 16 15:25:36 2012 +0200
@@ -20,7 +20,7 @@
     CT_DoStep INFO "Installing kernel headers"
 
     mkdir -p "${CT_HEADERS_DIR}"
-    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include/* \
+    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32-src/include/*   \
           ${CT_HEADERS_DIR}
 
     CT_EndStep