===> Cleaning for py27-z3solver-4.5.1.0.post2