===> Cleaning for wxmaxima-17.10.1nb8