===> Cleaning for py27-z3-4.5.0