===> Cleaning for wxMaxima-0.8.6nb5