Re: [asdf-devel] configuration question