Fixed build problem: the path of the local ocaml binary wasn't part of the PATH when executing tests
Fixed build problem: the path of the local ocaml binary wasn't part of the PATH when executing tests

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast