[slime-devel] .slime/fasl/ directory names