Fix a bug on cygwin32 clept in from a recent commit