Ignore z3 scripts