z3 operations definition error

[epicosy]

When I execute the AllRepair.sh script I get the following error:

z3_utils.py", line 4, in <module>
    Z3_LE_OPS = [Z3_OP_LE,Z3_OP_SLEQ]
NameError: name 'Z3_OP_LE' is not defined