Hopeful fix for Cygwin build (#1530)