use CLISP as evaling tool