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