More clisp fixes.

Give up trying to persuade clisp not leave behind junk files.
Fix errorformat.