only support 32bit cygwin for now
64bit cygwin does not execute goblint compiled under 32bit cygwin!