If compiling SystemC on CYGWIN, do:
  $ make pthreads 
to use the POSIX threads version (not possible with systemc 2.0.1 though) 
