Hi, Mark -- The issue is in PROVE-ASDF. Replacing line 50 of asdf.lisp (asdf:perform (make-instance 'asdf:load-source-op) c) with (asdf:perform (asdf:make-operation 'asdf:load-source-op) c) should solve the problem. LMK if that doesn't fix the problem. Best, r