Re: [asdf-devel] Possible problem with check-compile-results