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