clisp handled in add-del-tmp-files-to-exit-hook