use_system_z3.diff