[asdf-devel] File type problem with the latest ASDF