Re: clisp and texlive