Cygwin install fix

As already discussed in issue #232.