[asdf-devel] printing the symbol asdf:defsystem for .asd file