fix yet another Cygwin problem