Re: [asdf-devel] optimization settings