Added Win32 CEDET