===> Cleaning for z3-4.5.0nb3