Wrap WITH-MAXIMA around WRITE-GA-FILES
ASDF:DEFSYSTEM kept expanding to sub-symbols in ASDF system. Now writing as string directly.