This seems to be more common? In any case, ASDF doesn’t complain about this format.
I’d hoped these tweaks to the system-file would help binary-making work with ECL, but no dice. Anyway, the Makefile has a basic build recipe and one for installing Quicklisp, should the user not already have it installed.