Re: [armedbear-devel] [PATCH] build-from-lisp.sh (take 2)