argh.. i give up, we can compile fixpoint for windows, but it can't seem
to find z3.exe even if i pass an absolute path..