Use the WinDDK compiler