nuke z3
add z3 fork from github