Re: *LOAD-TRUENAME* and ASDF