Missing z3.obj

[andsanmar]

When compiling mpk-svf it is required the directory z3.obj, which is assigned to Z3_DIR. Nonetheless, this directory is not downloaded or created in all the build process.

[andsanmar]

build.sh:94 has the wrong identation, which caused the issue. I recommend to fix the issue