===> Cleaning for z3-4.8.3nb2