Add default z3 path (necessary for testing on the build server).
Add default z3 path (necessary for testing on the build server).

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors