Re: [armedbear-devel] abcl and maxima