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