GiNaC & Cygwin