gnu: Add z3.