===> Cleaning for py37-z3solver-4.8.9.0