ML API build fixes for cygwin
ML API build fixes for cygwin

kyledewey/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,seahorn/z3