===> Cleaning for wxmaxima-23.12.0nb3