Fix cygwin build
Fix cygwin build

janestreet/core_kernel,janestreet/core_kernel,mmottl/core_kernel,tmcgilchrist/core_kernel,mmottl/core_kernel,tmcgilchrist/core_kernel,mmottl/core_kernel,tmcgilchrist/core_kernel