windows port: use __CYGWIN__ instead of ix86_Win