Fix cygwin for k 3.4

I think we need to include this pull request in the release: Maude is currently broken on my version of windows.