OK, fixpoint.native works on windows

**as long as the solver binary is in the SAME directory as fixpoint**