Re: [armedbear-devel] trouble with Maxima test suite