[slime-devel] How to correct auto completion error of filenames