Make xc-windows build with the WDK 7.1