fix problem under cygwin