===> Cleaning for wxmaxima-23.12.0nb2