z3 makefile