Fix bug in CMake bootstrap script when running under Windows.
Fix bug in CMake bootstrap script when running under Windows.

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