better z3 build instructions