Fix Cygwin64 bug. No idea why this is needed, but TPTB have decreed it.