[armedbear-devel] Maxima, once again