upgrade z3, move useful thing to new version.