use slime-20120909, a good version; and change sbclrc for it; install texlive